Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
851	What’s Next for Text Text Analytics Today and Tomorrow: Market, Technology, and Trends A white paper prepared for Text Analytics Summit 2007 Add to Reading List Source URL: altaplana.com Language: English - Date: 2007-04-19 21:50:25 Natural language processing Business intelligence Statistical natural language processing Formal sciences Text analytics Text mining Analytics UIMA ADAPA Statistics Science Data analysis
852	Fast Exact Inference with a Factored Model for Natural Language Parsing Dan Klein Department of Computer Science Stanford University Add to Reading List Source URL: www-nlp.stanford.edu Language: English - Date: 2003-01-19 19:26:31 Compiler construction Computing Parsing Computational linguistics Stochastic context-free grammar Treebank Chart parser Syntax Context-free grammar Formal languages Software engineering Programming language implementation
853	HOL Formalised: Language and Overview R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-27 11:48:02 Formal languages Formal systems Logic in computer science Type theory HOL First-order logic Rule of inference Interpretation Axiom Logic Mathematical logic Model theory
854	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein −→ Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer law Copyleft Formal languages Isabelle Rewriting Creative Commons Divergence Q Theoretical computer science Open content Programming language theory
855	Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:55 Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing
856	LL(1) Conflict Resolution in a Recursive Descent Compiler Generator 1 Albrecht Wöß, Markus Löberbauer, Hanspeter Mössenböck Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 12:10:30 Software Formal languages Compiler construction Coco/R Recursive descent parser LALR parser LL parser Lookahead Compiler-compiler Programming language implementation Parser generators Parsing
857	Section 14.2 A Hierarchy of Languages Context-Sensitive Languages A context-sensitive grammar has productions of the form xAz → xyz, where A is a nonterminal and x, y, z are strings of grammar symbols with y ≠ Λ. Th Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-12-18 13:22:30 Mathematics Applied mathematics Computability theory Complexity classes Recursively enumerable language Unrestricted grammar Computability Linear bounded automaton Context-sensitive language Formal languages Theoretical computer science Theory of computation
858	Efficient submatch addressing for regular expressions Master’s Thesis Ville Laurikari Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:06:57 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular expression Finite-state machine Regular language Nondeterministic finite automaton String searching algorithm Automata theory Formal languages Theoretical computer science
859	PROGRAMMING Nail A Practical Tool for Parsing and Generating Data Formats JULIAN BANGERT AND NICKOL AI ZELDOVICH Add to Reading List Source URL: people.csail.mit.edu Language: English Parser generators Compiler construction Compiling tools Parsing Domain-specific language Lex Formal languages Programming language implementation Computing Software
860	APPEAL AGAINST AN IESG DECISION DENYING ME IANA LANGUAGE REGISTRATION PROCESS BY WAY OF PR-ACTION Dear IESG Members, This is a formal appeal to the IESG against the IESG decision below. This does not appeal the matter of Add to Reading List Source URL: www.ietf.org Language: English - Date: 2009-07-18 18:35:01 Internet Engineering Task Force Internet Engineering Steering Group IETF language tag Consensus decision-making Internet Assigned Numbers Authority Internet Architecture Board Internet governance Internet Computing

UPDATE